Works by Zhang, Bing-Yu (exact spelling)

Order:
  1.  23
    Computability of Solutions of the Korteweg‐de Vries Equation.William Gay, Bing-Yu Zhang & Ning Zhong - 2001 - Mathematical Logic Quarterly 47 (1):93-110.
    In this paper we study computability of the solutions of the Korteweg-de Vries equation ut + uux + uxxx = 0. This is one of the open problems posted by Pour-El and Richards [25]. Based on Bourgain's new approach to the initial value problem for the KdV equation in the periodic case, we show that the periodic solution u of the KdV equation is computable if the initial data is computable.
    Direct download  
     
    Export citation  
     
    Bookmark  
  2.  36
    Lp -Computability.Ning Zhong & Bing-Yu Zhang - 1999 - Mathematical Logic Quarterly 45 (4):449-456.
    In this paper we investigate conditions for Lp-computability which are in accordance with the classical Grzegorczyk notion of computability for a continuous function. For a given computable real number p ≥ 1 and a compact computable rectangle I ⊂ ℝq, we show that an Lp function f ∈ Lp is LP-computable if and only if f is sequentially computable as a linear functional and the Lp-modulus function of f is effectively continuous at the origin of ℝq.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation